Rezultate pentru tag: elemente de logica matematica
Operații logice: disjuncția
Disjuncția propozițiilor, disjuncția predicatelor. Reuniunea mulțimilor. Valoarea de adevăr a disjuncției a două propoziții. Mulțimea de adevăr a disjuncției predicatelor.
Operații logice: implicația
Implicația propozițiilor. Ipoteză, concluzie. Implicația predicatelor. Incluziunea mulțimilor. Valoarea de adevăr a implicației.
Operații logice: echivalența
Echivalența propozițiilor, echivalența predicatelor. Egalitatea mulțimilor. Valoarea de adevăr a echivalenței a două propoziții.
Formule de calcul propozițional. Legile lui De Morgan
Formulă de calcul propozițional. Formule echivalente. Legile lui De Morgan. Valoarea de adevăr a unei formule propoziționale. Noțiunea de tautologie.